1. FORTRAN 77 - strukturiert
پدیدآورنده: von Werner Junginger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Mathematical physics.,Software engineering.
رده :
QA76
.
76
.
C65
V669
1988
2. Generative and transformational techniques in software engineering IV :
پدیدآورنده: Ralf Lämmel ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automatische Programmierung.,Entwurfssprache.,Modelltransformation.
3. Introduction to programming with Java :
پدیدآورنده: John S. Dean, Raymond H. Dean.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Java (Computer program language),JAVA (PROGRAMMIERSPRACHEN),OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN)
رده :
QA76
.
73
.
J38
J646
2008
4. Logische und methodische Grundlagen der Programm- und Systementwicklung :
پدیدآورنده: Manfred Broy ; unter Mitarbeit von Alexander Malkis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebraische Spezifikation,Algorithmische Programmierung,Beweis,Datenstruktur,Funktionale Programmierung,Korrektheit,Objektorientierte Programmierung,Softwareentwicklung,Softwarespezifikation,Systementwicklung
5. Object-oriented reengineering patterns /
پدیدآورنده: Serge Demeyer, Stéphane Ducasse, Oscar Nierstrasz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Object-oriented programming (Computer science),Software patterns.,Software reengineering.,Broncode.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Hergebruik.,Object-georiënteerd programmeren.,Object-oriented programming (Computer science),Objektorientierte Programmierung,Padrões de software (projeto),Programação orientada a objetos.,Programmatuurtechniek.,Reengineering,Software patterns.,Software reengineering.,Software.,Técnicas de programação.
رده :
QA76
.
64
.
D458
2003eb
6. Objects and systems :
پدیدآورنده: Bernard P. Zeigler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: C++ (Computer program language),Object-oriented programming (Computer science),Objektorientierte Programmierung
رده :
QA76
.
73
.
C153
B476
1997
7. Perspectives of system informatics :
پدیدآورنده: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programmierung.,Theoretische Informatik.,Wissenstechnik.
8. Programmiersprachen und Programmentwicklung :
پدیدآورنده: herausgegeben von Hans Wössner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming -- Congresses.,Computer programming.,Programming languages (Electronic computers) -- Congresses.
رده :
QA76
.
7
H473
1982
9. SPS-Programmierung mit IEC 61131-3 :
پدیدآورنده: Karl Heinz John, Michael Tiegelkamp.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: SPS (Computer file),SPS (Computer file),Automation.,Computer-aided design.,Programmable controllers.,Software engineering.,Automation.,Computer-aided design.,Programmable controllers.,Software engineering.,TECHNOLOGY & ENGINEERING-- Industrial Engineering.
رده :
T59
.
5
.
J6413
2009eb
10. The design and analysis of computer algorithms /
پدیدآورنده: Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer programming.,Electronic digital computers-- Programming.,Algorithms-- analysis.,Algorithms.,Programming Languages.,Algorithmes.,Programmation (Informatique),Algorithmentheorie,Algorithmes.,Algorithms.,Algorithmus,Algoritmen.,Computer,Computer algorithms.,Computer programming.,Computer programming.,Datenverarbeitung,Entwurf,Ordinateurs-- Programmation.,Programmierung,Software.
رده :
QA76
.
6
.
A36
11. Unifying theories of programming /
پدیدآورنده: C.A.R. Hoare and He Jifeng.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming.,Computer programming.,Programmierung.,Programmierung.,Software Engineering.,Software Engineering.
رده :
QA76
.
6
. .
H5735
1998
